sframe{-}p(${\it es}$; $l$; ${\it tg}$; $L$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:es{-}E(${\it es}$). (es{-}kind(${\it es}$; $e$) = rcv($l$,${\it tg}$)) $\Rightarrow$ (es{-}kind(${\it es}$; es{-}sender(${\it es}$; $e$)) $\in$ $L$)